State-dependent M/G/1 Type Queueing Analysis for Congestion Control in Data Networks

We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poisson process. We focus on the case when the transmission rate cannot exceed a certain maximum value. We write the Kolmogorov equations and we use Laplace Transforms to calculate the distribution of the transmission rate in the steady state as well as its moments. Our model is particularly useful to study the behavior of TCP, the congestion control mechanism in the Internet. By a simple transformation, the problem can be reformulated in terms of an equivalent M/G/1 queue, where the transmission rate in the original model corresponds to the workload in the ‘dual’ queue. The service times in the queueing model are not i.i.d., and they depend on the workload in the system. Keywords—TCP congestion control, batch Poisson process, Kolmogorov equation, Laplace Transform.